Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the present and past. (...) One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

This paper argues for externalism about justification on the basis of thought experiments. I present cases in which two individuals are intrinsically and introspectively indistinguishable and in which intuitively, one is justified in believing that p while the other is not. I also examine an argument for internalism based on the ideas that we have privileged access to whether or not our own beliefs are justified and that only internalism is compatible with this privilege. I isolate what I take to (...) be the most plausible form of privileged access to justification and show that it is compatible with externalism. (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

The problem of downward causation is that an intuitive response to an intuitive picture leads to counterintuitive results. Suppose a mental event, m1, causes another mental event, m2. Unless the mental and the physical are completely independent, there will be a physical event in your brain or your body or the physical world as a whole that underlies this event. The mental event occurs at least partly in virtue of the physical event’s occurring. And the same goes for m2 [2] (...) and p2. Let’s not worry about what exactly “underlying” or “in virtue of” means here. Here’s the picture. m1 -----> m2 | | p1 -----> p2 The horizontal arrows represent causation, and the vertical lines represent underlying, whatever that may be. There’s some reason to think that the only way m1 can bring about m2 is by bringing about p2. You can’t convince someone of something through mental telepathy. You need to interact with the physical world, perhaps by saying something and so making some noise, or by pointing and getting them to turn their head and see. What goes for the case of two people goes for the case of one person as well. Superstition aside, there is no purely mental energy that floats free of the merely physical workings of the brain. If m1 brings about m2 by bringing about p2, then m1 brings about p2. This is downward causation. But wait. Doesn’t p1 bring about p2? Isn’t that what the bottom arrow represents? Maybe m1 and p1 work together to bring about p2. There are little holes in the physical causal structure that need to be filled by mental events. You don’t need a sweeping metaphysical thesis about the causal closure of the physical to find this implausible. Maybe p2 is overdetermined. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

‘There is no place in the phenomenology of fully absorbed coping’, writes Hubert Dreyfus, ‘for mindfulness. In flow, as Sartre sees, there are only attractive and repulsive forces drawing appropriate activity out of an active body’1. Among the many ways in which history animates dynamical systems at a range of distinctive timescales, the phenomena of embodied human habit, skilful movement, and absorbed coping are among the most pervasive and mundane, and the most philosophically puzzling. In this essay we examine both (...) habitual and skilled movement, sketching the outlines of a multidimensional framework within which the many differences across distinctive cases and domains might be fruitfully understood. Both the range of movement phenomena which can plausibly be seen as instances of habit or skill, and the space of possible theories of such phenomena are richer and more disparate than philosophy easily encompasses. We seek to bring phenomenology into contact with relevant movements in psychological theories of skilful action, in the belief that phenomenological philosophy and cognitive science can be allies rather than antagonists. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

As a topic in the philosophy of psychology, dreaming is a fascinating, diverse, and severely underdeveloped area of study. The topic excites intense public interest in its own right, while also challenging our confidence that we know what the words “conscious” and “consciousness” mean. So dreaming should be at the forefront of our interdisciplinary investigations: theories of mind which fail to address the topic are incomplete. This chapter illustrates the tight links between conceptual and empirical issues by highlighting surprisingly deep (...) disagreements among leading dream scientists over what might seem basic aspects of their topic. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

The evolution of life on Earth has produced an organism that is beginning to model and understand its own evolution and the possible future evolution of life in the universe. These models and associated evidence show that evolution on Earth has a trajectory. The scale over which living processes are organized cooperatively has increased progressively, as has its evolvability. Recent theoretical advances raise the possibility that this trajectory is itself part of a wider developmental process. According to these theories, the (...) developmental process has been shaped by a yet larger evolutionary dynamic that involves the reproduction of universes. This evolutionary dynamic has tuned the key parameters of the universe to increase the likelihood that life will emerge and produce outcomes that are successful in the larger process (e.g. a key outcome may be to produce life and intelligence that intentionally reproduces the universe and tunes the parameters of ‘offspring’ universes). Theory suggests that when life emerges on a planet, it moves along this trajectory of its own accord. However, at a particular point evolution will continue to advance only if organisms emerge that decide to advance the developmental process intentionally. The organisms must be prepared to make this commitment even though the ultimate nature and destination of the process is uncertain, and may forever remain unknown. Organisms that complete this transition to intentional evolution will drive the further development of life and intelligence in the universe. Humanity’s increasing understanding of the evolution of life in the universe is rapidly bringing it to the threshold of this major evolutionary transition. (shrink)

In this essay I show how to reconcile epistemic invariantism with the knowledge account of assertion. My basic proposal is that we can comfortably combine invariantism with the knowledge account of assertion by endorsing contextualism about speech acts. My demonstration takes place against the backdrop of recent contextualist attempts to usurp the knowledge account of assertion, most notably Keith DeRose's influential argument that the knowledge account of assertion spells doom for invariantism and enables contextualism's ascendancy.

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

It is often assumed that literary meaning is essentially linguistic in nature and that literary interpretation is therefore a purely linguistic affair. This essay identifies a variety of literary meaning that cannot be reduced to linguistic meaning. Meaning of this sort is generated not by a communicative act so much as through a creative one: the construction of a fictional world. The way in which a fictional world can bear meaning turns out to be strikingly unlike the way a sentence (...) can, and this, I argue, has important implications for the theory of interpretation. (shrink)

The Double Content view is the first comprehensive theory of art that is able to satisfactorily explain the nature of all kinds of artworks in a unified way — whether paintings, novels, or musical and theatrical performances. The basic thesis is that all such representational artworks involve two levels or kinds of representation: a first stage in which a concrete artifact represents an artwork, and a second stage in which that artwork in turn represents its subject matter. "Dilworth applies his (...) theory across the arts and to a variety of issues, demonstrating that it has far-reaching implications for our philosophical understanding of the nature of art.” - Stephen Davies, Associate Professor of Philosophy, University of Auckland.. (shrink)

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

I consider a serious objection to the knowledge account of assertion and develop a response. In the process I introduce important new data on prompting assertion, which all theorists working in the area should take note of.

The idea that education should equip people to lead flourishing lives and help others to do so is now becoming salient in policy-making circles. Philosophy of education can help here by clarifying what flourishing consists in. This essay examines one aspect of this. It rejects the view that well-being goods are derivable from human nature, as in the theories of Howard Gardner and Edmond Holmes. It locates them, rather, as cultural products, but not culturally-relative ones, drawing attention to the proliferating (...) forms they have taken over the past three or four centuries. It looks to aesthetics and art criticism as a guide to a philosophical treatment of well-being goods more generally. It also takes off from aesthetics and art criticism in seeking to identify reliable authorities on the flourishing life. On this, it rejects elitist conceptions in favour of a more democratic model, emphasising its importance in education for citizenship. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

This paper will investigate the basic question of the nature of perception, as theoretically approached from a purely naturalistic standpoint. An adequate theory must not only have clear application to a world full of pre-existing biological examples of perception of all kinds, from unicellular perception to conscious human perception, but it must also satisfy a series of theoretical or philosophical constraints, as enumerated and discussed in Section 1 below. A perceptual theory invoking _reflexive dispositions_--that is, dispositions directed toward the very (...) same worldly perceived objects or properties that caused them--will be defended as one legitimate such naturalistic theory. (shrink)

The artefacts produced by artists during their creation of works of art are very various: paintings, writings, musical scores, and so on. I have a general thesis to offer about the relations of artefacts and artworks, but within the confines of this article I shall mainly discuss cases drawn from the art of painting, central specimens of which seem to be autographic in Nelson Goodman's sense, namely such that even the most exact duplication of them does not count as producing (...) the same work of art. My view will be that an artwork (such as a painting) and its associated artefact are not identical, and nor is the artefact in any sense part of the painting in question,2 but that nevertheless it is still possible to maintain the view that paintings are autographic (which view I shall call l the autographic thesis). I shall proceed initially through presentation of some counter-examples to common assumptions as to the relations of artefacts and artworks, and then present an alternative 'representational' theory of their relations. (shrink)

I argue that the physical marks on a canvas resulting from an artist's intentional, stylistic and expressive acts cannot themselves be the artist's expression, but instead they serve to signify or indicate those acts. Thus there is a kind of indicative content associated with a picture that is distinct from its subject matter (or 'representational content'). I also argue that this kind of indicative content is closely associated with the specific artistic medium chosen by the artist as her expressive medium, (...) for which reason I call this kind of content medium content (or medium-related content). (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

In this paper, I challenge a familiar argument -- a composite of arguments in the literature -- for the view that “Why be moral?” is a pseudo-question. I do so by refuting a component of that argument, a component that is not only crucial to the argument but important in its own right. That component concerns the status of moral reasons in replies to “Why be moral?”; consequently, this paper concerns reasons and rationality no less than it concerns morality. The (...) work I devote to those topics shows not only that the argument I address is unsound, but that the conclusion of that argument is false. “Why be moral?” is no pseudo-question. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

Clearly we can perceive both objects, and various aspects or appearances of those objects. But how should that complexity of perceptual content be explained or analyzed? I argue that perceptual representations normally have a double or two level nested structure of content, so as to adequately incorporate information both about contextual aspects Y(X) of an object X, and about the object X itself. On this double content (DC) view, perceptual processing starts with aspectual data Y?(X?) as a higher level of (...) content, which data does not itself provide lower level X-related content, but only an aspectually encoded form of such data. Hence the relevant perceptual data Y?(X?) must be. (shrink)

Memory is studied at a bewildering number of levels, with a vast array of methods, and in a daunting range of disciplines and subdisciplines. Is there any sense in which these various memory theorists – from neurobiologists to narrative psychologists, from the computational to the cross-cultural – are studying the same phenomena? In this exploratory position paper, I sketch the bare outline of a positive framework for understanding current work on constructive remembering, both within the various cognitive sciences, and across (...) gulfs between the cognitive and the social sciences. I pinpoint some lines of psychological theory and research which offer promising and compatible ways of thinking about individual memory and shared or social memory simultaneously. These are obviously ambitious projects, and this paper seeks more to elicit help with forging these connections than to present firm results. The aim is to draw out some consequences of empirical work on social memory and in developmental psychology. (shrink)

A psychological study of thought and language which takes an exposition of scientific linquistics as a point of departure.

How can it be true that one sees a lake when looking at a picture of a lake, since one's gaze is directed upon a flat dry surface covered in paint? An adequate contemporary explanation cannot avoid taking a theoretical stand on some fundamental cognitive science issues concerning the nature of perception, of pictorial content, and of perceptual reference to items that, strictly speaking, have no physical existence. A solution is proposed that invokes a broadly functionalist, naturalistic theory of perception, (...) plus a double content analysis of perceptual interpretation, which permits non-supervenient, culturally autonomous modes of reference to be generated and artistically exploited even in a purely physical world. In addition, a functionalist concept of broad or 'spread' reference replaces the traditional precise intentional concept of reference, which previously made reference to non-existent items theoretically intractable. (shrink)

What is the potential for improvements in the functioning of consciousness? The paper addresses this issue using global workspace theory. According to this model, the prime function of consciousness is to develop novel adaptive responses. Consciousness does this by putting together new combinations of knowledge, skills and other disparate resources that are recruited from throughout the brain. The paper's search for potential improvements in consciousness is aided by studies of a developmental transition that enhances functioning in whichever domain it occurs. (...) This transition involves a shift from the use of procedural (implicit) knowledge to declarative (explicit) knowledge. However, the potential of the transition to enhance functioning has not yet been realised to any extent in relation to consciousness itself. The paper assesses the potential for consciousness to use declarative knowledge to improve its own functioning and to thereby enhance human adaptability. A number of sources (including the practices of religious and contemplative traditions) are drawn on to investigate how this potential might be realised. (shrink)